13. FOL Question

FOL Question

FOL Question 1

Is the following sentence valid, satisfiable, or unsatisfiable? ∃x, y: x = y
Type: Multiple Choice
SOLUTION: Valid

FOL Quiz 2

Is the following sentence valid, satisfiable, or unsatisfiable? (∃x: x = x) ⇒ (∀y ∃z: y = z)
SOLUTION: Valid

FOL Question 3

Is the following sentence valid, satisfiable, or unsatisfiable? ∀x: P(x) ∨ ¬ P(x)
SOLUTION: Valid

FOL Question 4

Is the following sentence valid, satisfiable, or unsatisfiable? ∃x: P(x)
SOLUTION: Satisfiable

FOL Question Solution

Next Concept